// Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/*@testedFeatures=inference*/
library test;

class C {}

class D extends C {}

class E extends StackTrace {}

void test(void f()) {
  try {
    f();
  } on C catch (x, y) {
    var /*@ type=C* */ x1 = x;
    var /*@ type=StackTrace* */ y1 = y;
    if (x is D) {
      var /*@ type=D* */ x2 = /*@ promotedType=D* */ x;
    }
    if (y is E) {
      var /*@ type=E* */ y2 = /*@ promotedType=E* */ y;
    }
  }
}

main() {}
